<?php
/**
 * 処理時間測定用の関数
 */
if(!function_exists('get_microtime')){
    function get_microtime(){
        list($usec, $sec) = explode(" ",microtime());
        return ((float)$sec + (float)$usec);
    }
}
?>